Cech wins first patent

Danish Team wins First BIOMOD International Undergraduate Nanobiology Design Competition

T he first annual International Bio-Molecular Design Competition (BIOMOD2011) was held on November 5, 2011, at the Wyss Institute for Biologically Inspired Engineering at Harvard University (Cambridge, MA, USA). BioMod is a design competition for undergraduate students that was founded by Wyss Institute Technology Development Fellow Shawn Douglas. Teams of students engineer novel nanoscale stru...

11 x 11 Domineering is Solved: The first player wins

We have developed a program called MUDoS (Maastricht University Domineering Solver) that solves Domineering positions in a very efficient way. This enables the solution of known positions so far (up to the 10 × 10 board) much quicker (measured in number of investigated nodes). More importantly, it enables the solution of the 11 × 11 Domineering board, a board up till now far out of reach of pre...

Canada. Monsanto wins split decision in patent fight over GM crop.

Stone-cech Compactifications via Adjunctions

The Stone-Cech compactification of a space X is described by adjoining to X continuous images of the Stone-tech growths of a complementary pair of subspaces of X. The compactification of an example of Potoczny from [P] is described in detail. The Stone-Cech compactification of a completely regular space X is a compact Hausdorff space ßX in which X is dense and C*-embedded, i.e. every bounded re...

"Logic Wins!"

Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security properties. In particular, we examine confidentiality objectives in hardware circuit descriptions written in VHDL.